-
1 Type Constrained Programming
Computers: TCPУниверсальный русско-английский словарь > Type Constrained Programming
-
2 TCP
1) Общая лексика: Transmission Control Protocol (Главный транспортный протокол. Протокол управления передачей. Работает одновременно с клиентом и протоколом низкого уровня (IP). Интерфейс между TCP и пользователем есть открытие и закрытие соединения и отправка и з)2) Компьютерная техника: Terminal Control Program, Type Constrained Programming3) Американизм: The Common People4) Военный термин: Tactical Control Processor, Technological Coordinating Paper, Terminal Control Protocol, Traditional CINC Programs, tactical command post, task change proposal, technical change proposal, technical cooperation program, technical coordinating paper, test and checkout procedure, test control package, traffic control point, traffic control post, Time Charter Party5) Техника: telemetry and command processor assembly, tetracalcium phosphate, thickness-conductivity product, time limited correlation processing, timing and control panel, training controller panel, transmission control program6) Химия: Tri Cresyl Phosphate7) Экономика: Проект технического сотрудничества (Technical Cooperation Project)8) Автомобильный термин: torque charger, temperature compensated accelerator pump (Ford)9) Телекоммуникации: Telephone Connecting Program, Transmission Control Protocol (IETF)10) Сокращение: TDATS Control Panel, Tactical Computer Processor, Tactical Cryptologic Program (USA), Tactical Cryptologic Program, Thermite Case Penetrator, Transmission Control Program / Protocol (USA), Transport Control Protocol, Travure Courte Portee (Assault treadway bridge (France)), Turret Control Panel, Topologically Close Packed, Technical Cooperation Programme (ООН)11) Физиология: Tablet, Coated Particles12) Электроника: Time Controlled Parameter, Transformer- Coupled Plasma, Transmission Control Protocols13) Вычислительная техника: Tape Carrier Package, Tape-Carrier Package, Test Coordination Procedure, Transmission Control Protocol (ARPANET), Tape Carrier Package (CPU), transmission control protocol14) Нефть: total core penetration, tubing conveyed perforating15) Иммунология: T-cell precursor, t-complex polypeptide16) Стоматология: бета TCP, бета ТКФ, трикальций фосфат, трикальцийфосфат, трикальциум фосфат, tricalcium phosphate, ТКФ, трикальциум-фосфат17) Онкология: Thrombocytopenia18) Космонавтика: Technical Cooperation Programme (FAO), Tropical Cyclone Programme (WMO)19) Геофизика: произведение мощности на удельную проводимость20) Транспорт: Transportation Control Plan21) Фирменный знак: The Childrens Place22) Экология: Tropical Cyclone Program23) Энергетика: Turbine Control Panel, панель контроля турбины, панель управления турбиной24) Глоссарий компании Сахалин Энерджи: tubing convey gun, turnover and completion package, Tubing Conveyed Perforating (ТЭО)25) Образование: Traditional Classroom Program26) Сетевые технологии: корпус на ленточном носителе, протокол управления передачей данных, управляющий протокол передачи27) Полимеры: tricresyl phosphate28) Автоматика: tool center point29) Сахалин Ю: tubing conveyed perforator30) Майкрософт: протокол TCP31) Должность: Terran Confederation Pilot32) Чат: Totally Controllable Pixies33) Библиотечное дело: Theodore C. Petersen manuscript collection -
3 tcp
1) Общая лексика: Transmission Control Protocol (Главный транспортный протокол. Протокол управления передачей. Работает одновременно с клиентом и протоколом низкого уровня (IP). Интерфейс между TCP и пользователем есть открытие и закрытие соединения и отправка и з)2) Компьютерная техника: Terminal Control Program, Type Constrained Programming3) Американизм: The Common People4) Военный термин: Tactical Control Processor, Technological Coordinating Paper, Terminal Control Protocol, Traditional CINC Programs, tactical command post, task change proposal, technical change proposal, technical cooperation program, technical coordinating paper, test and checkout procedure, test control package, traffic control point, traffic control post, Time Charter Party5) Техника: telemetry and command processor assembly, tetracalcium phosphate, thickness-conductivity product, time limited correlation processing, timing and control panel, training controller panel, transmission control program6) Химия: Tri Cresyl Phosphate7) Экономика: Проект технического сотрудничества (Technical Cooperation Project)8) Автомобильный термин: torque charger, temperature compensated accelerator pump (Ford)9) Телекоммуникации: Telephone Connecting Program, Transmission Control Protocol (IETF)10) Сокращение: TDATS Control Panel, Tactical Computer Processor, Tactical Cryptologic Program (USA), Tactical Cryptologic Program, Thermite Case Penetrator, Transmission Control Program / Protocol (USA), Transport Control Protocol, Travure Courte Portee (Assault treadway bridge (France)), Turret Control Panel, Topologically Close Packed, Technical Cooperation Programme (ООН)11) Физиология: Tablet, Coated Particles12) Электроника: Time Controlled Parameter, Transformer- Coupled Plasma, Transmission Control Protocols13) Вычислительная техника: Tape Carrier Package, Tape-Carrier Package, Test Coordination Procedure, Transmission Control Protocol (ARPANET), Tape Carrier Package (CPU), transmission control protocol14) Нефть: total core penetration, tubing conveyed perforating15) Иммунология: T-cell precursor, t-complex polypeptide16) Стоматология: бета TCP, бета ТКФ, трикальций фосфат, трикальцийфосфат, трикальциум фосфат, tricalcium phosphate, ТКФ, трикальциум-фосфат17) Онкология: Thrombocytopenia18) Космонавтика: Technical Cooperation Programme (FAO), Tropical Cyclone Programme (WMO)19) Геофизика: произведение мощности на удельную проводимость20) Транспорт: Transportation Control Plan21) Фирменный знак: The Childrens Place22) Экология: Tropical Cyclone Program23) Энергетика: Turbine Control Panel, панель контроля турбины, панель управления турбиной24) Глоссарий компании Сахалин Энерджи: tubing convey gun, turnover and completion package, Tubing Conveyed Perforating (ТЭО)25) Образование: Traditional Classroom Program26) Сетевые технологии: корпус на ленточном носителе, протокол управления передачей данных, управляющий протокол передачи27) Полимеры: tricresyl phosphate28) Автоматика: tool center point29) Сахалин Ю: tubing conveyed perforator30) Майкрософт: протокол TCP31) Должность: Terran Confederation Pilot32) Чат: Totally Controllable Pixies33) Библиотечное дело: Theodore C. Petersen manuscript collection -
4 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
5 Language
Philosophy is written in that great book, the universe, which is always open, right before our eyes. But one cannot understand this book without first learning to understand the language and to know the characters in which it is written. It is written in the language of mathematics, and the characters are triangles, circles, and other figures. Without these, one cannot understand a single word of it, and just wanders in a dark labyrinth. (Galileo, 1990, p. 232)It never happens that it [a nonhuman animal] arranges its speech in various ways in order to reply appropriately to everything that may be said in its presence, as even the lowest type of man can do. (Descartes, 1970a, p. 116)It is a very remarkable fact that there are none so depraved and stupid, without even excepting idiots, that they cannot arrange different words together, forming of them a statement by which they make known their thoughts; while, on the other hand, there is no other animal, however perfect and fortunately circumstanced it may be, which can do the same. (Descartes, 1967, p. 116)Human beings do not live in the object world alone, nor alone in the world of social activity as ordinarily understood, but are very much at the mercy of the particular language which has become the medium of expression for their society. It is quite an illusion to imagine that one adjusts to reality essentially without the use of language and that language is merely an incidental means of solving specific problems of communication or reflection. The fact of the matter is that the "real world" is to a large extent unconsciously built on the language habits of the group.... We see and hear and otherwise experience very largely as we do because the language habits of our community predispose certain choices of interpretation. (Sapir, 1921, p. 75)It powerfully conditions all our thinking about social problems and processes.... No two languages are ever sufficiently similar to be considered as representing the same social reality. The worlds in which different societies live are distinct worlds, not merely the same worlds with different labels attached. (Sapir, 1985, p. 162)[A list of language games, not meant to be exhaustive:]Giving orders, and obeying them- Describing the appearance of an object, or giving its measurements- Constructing an object from a description (a drawing)Reporting an eventSpeculating about an eventForming and testing a hypothesisPresenting the results of an experiment in tables and diagramsMaking up a story; and reading itPlay actingSinging catchesGuessing riddlesMaking a joke; and telling itSolving a problem in practical arithmeticTranslating from one language into anotherLANGUAGE Asking, thanking, cursing, greeting, and praying-. (Wittgenstein, 1953, Pt. I, No. 23, pp. 11 e-12 e)We dissect nature along lines laid down by our native languages.... The world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... No individual is free to describe nature with absolute impartiality but is constrained to certain modes of interpretation even while he thinks himself most free. (Whorf, 1956, pp. 153, 213-214)We dissect nature along the lines laid down by our native languages.The categories and types that we isolate from the world of phenomena we do not find there because they stare every observer in the face; on the contrary, the world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... We are thus introduced to a new principle of relativity, which holds that all observers are not led by the same physical evidence to the same picture of the universe, unless their linguistic backgrounds are similar or can in some way be calibrated. (Whorf, 1956, pp. 213-214)9) The Forms of a Person's Thoughts Are Controlled by Unperceived Patterns of His Own LanguageThe forms of a person's thoughts are controlled by inexorable laws of pattern of which he is unconscious. These patterns are the unperceived intricate systematizations of his own language-shown readily enough by a candid comparison and contrast with other languages, especially those of a different linguistic family. (Whorf, 1956, p. 252)It has come to be commonly held that many utterances which look like statements are either not intended at all, or only intended in part, to record or impart straightforward information about the facts.... Many traditional philosophical perplexities have arisen through a mistake-the mistake of taking as straightforward statements of fact utterances which are either (in interesting non-grammatical ways) nonsensical or else intended as something quite different. (Austin, 1962, pp. 2-3)In general, one might define a complex of semantic components connected by logical constants as a concept. The dictionary of a language is then a system of concepts in which a phonological form and certain syntactic and morphological characteristics are assigned to each concept. This system of concepts is structured by several types of relations. It is supplemented, furthermore, by redundancy or implicational rules..., representing general properties of the whole system of concepts.... At least a relevant part of these general rules is not bound to particular languages, but represents presumably universal structures of natural languages. They are not learned, but are rather a part of the human ability to acquire an arbitrary natural language. (Bierwisch, 1970, pp. 171-172)In studying the evolution of mind, we cannot guess to what extent there are physically possible alternatives to, say, transformational generative grammar, for an organism meeting certain other physical conditions characteristic of humans. Conceivably, there are none-or very few-in which case talk about evolution of the language capacity is beside the point. (Chomsky, 1972, p. 98)[It is] truth value rather than syntactic well-formedness that chiefly governs explicit verbal reinforcement by parents-which renders mildly paradoxical the fact that the usual product of such a training schedule is an adult whose speech is highly grammatical but not notably truthful. (R. O. Brown, 1973, p. 330)he conceptual base is responsible for formally representing the concepts underlying an utterance.... A given word in a language may or may not have one or more concepts underlying it.... On the sentential level, the utterances of a given language are encoded within a syntactic structure of that language. The basic construction of the sentential level is the sentence.The next highest level... is the conceptual level. We call the basic construction of this level the conceptualization. A conceptualization consists of concepts and certain relations among those concepts. We can consider that both levels exist at the same point in time and that for any unit on one level, some corresponding realizate exists on the other level. This realizate may be null or extremely complex.... Conceptualizations may relate to other conceptualizations by nesting or other specified relationships. (Schank, 1973, pp. 191-192)The mathematics of multi-dimensional interactive spaces and lattices, the projection of "computer behavior" on to possible models of cerebral functions, the theoretical and mechanical investigation of artificial intelligence, are producing a stream of sophisticated, often suggestive ideas.But it is, I believe, fair to say that nothing put forward until now in either theoretic design or mechanical mimicry comes even remotely in reach of the most rudimentary linguistic realities. (Steiner, 1975, p. 284)The step from the simple tool to the master tool, a tool to make tools (what we would now call a machine tool), seems to me indeed to parallel the final step to human language, which I call reconstitution. It expresses in a practical and social context the same understanding of hierarchy, and shows the same analysis by function as a basis for synthesis. (Bronowski, 1977, pp. 127-128)t is the language donn eґ in which we conduct our lives.... We have no other. And the danger is that formal linguistic models, in their loosely argued analogy with the axiomatic structure of the mathematical sciences, may block perception.... It is quite conceivable that, in language, continuous induction from simple, elemental units to more complex, realistic forms is not justified. The extent and formal "undecidability" of context-and every linguistic particle above the level of the phoneme is context-bound-may make it impossible, except in the most abstract, meta-linguistic sense, to pass from "pro-verbs," "kernals," or "deep deep structures" to actual speech. (Steiner, 1975, pp. 111-113)A higher-level formal language is an abstract machine. (Weizenbaum, 1976, p. 113)Jakobson sees metaphor and metonymy as the characteristic modes of binarily opposed polarities which between them underpin the two-fold process of selection and combination by which linguistic signs are formed.... Thus messages are constructed, as Saussure said, by a combination of a "horizontal" movement, which combines words together, and a "vertical" movement, which selects the particular words from the available inventory or "inner storehouse" of the language. The combinative (or syntagmatic) process manifests itself in contiguity (one word being placed next to another) and its mode is metonymic. The selective (or associative) process manifests itself in similarity (one word or concept being "like" another) and its mode is metaphoric. The "opposition" of metaphor and metonymy therefore may be said to represent in effect the essence of the total opposition between the synchronic mode of language (its immediate, coexistent, "vertical" relationships) and its diachronic mode (its sequential, successive, lineal progressive relationships). (Hawkes, 1977, pp. 77-78)It is striking that the layered structure that man has given to language constantly reappears in his analyses of nature. (Bronowski, 1977, p. 121)First, [an ideal intertheoretic reduction] provides us with a set of rules"correspondence rules" or "bridge laws," as the standard vernacular has it-which effect a mapping of the terms of the old theory (T o) onto a subset of the expressions of the new or reducing theory (T n). These rules guide the application of those selected expressions of T n in the following way: we are free to make singular applications of their correspondencerule doppelgangers in T o....Second, and equally important, a successful reduction ideally has the outcome that, under the term mapping effected by the correspondence rules, the central principles of T o (those of semantic and systematic importance) are mapped onto general sentences of T n that are theorems of Tn. (P. Churchland, 1979, p. 81)If non-linguistic factors must be included in grammar: beliefs, attitudes, etc. [this would] amount to a rejection of the initial idealization of language as an object of study. A priori such a move cannot be ruled out, but it must be empirically motivated. If it proves to be correct, I would conclude that language is a chaos that is not worth studying.... Note that the question is not whether beliefs or attitudes, and so on, play a role in linguistic behavior and linguistic judgments... [but rather] whether distinct cognitive structures can be identified, which interact in the real use of language and linguistic judgments, the grammatical system being one of these. (Chomsky, 1979, pp. 140, 152-153)23) Language Is Inevitably Influenced by Specific Contexts of Human InteractionLanguage cannot be studied in isolation from the investigation of "rationality." It cannot afford to neglect our everyday assumptions concerning the total behavior of a reasonable person.... An integrational linguistics must recognize that human beings inhabit a communicational space which is not neatly compartmentalized into language and nonlanguage.... It renounces in advance the possibility of setting up systems of forms and meanings which will "account for" a central core of linguistic behavior irrespective of the situation and communicational purposes involved. (Harris, 1981, p. 165)By innate [linguistic knowledge], Chomsky simply means "genetically programmed." He does not literally think that children are born with language in their heads ready to be spoken. He merely claims that a "blueprint is there, which is brought into use when the child reaches a certain point in her general development. With the help of this blueprint, she analyzes the language she hears around her more readily than she would if she were totally unprepared for the strange gabbling sounds which emerge from human mouths. (Aitchison, 1987, p. 31)Looking at ourselves from the computer viewpoint, we cannot avoid seeing that natural language is our most important "programming language." This means that a vast portion of our knowledge and activity is, for us, best communicated and understood in our natural language.... One could say that natural language was our first great original artifact and, since, as we increasingly realize, languages are machines, so natural language, with our brains to run it, was our primal invention of the universal computer. One could say this except for the sneaking suspicion that language isn't something we invented but something we became, not something we constructed but something in which we created, and recreated, ourselves. (Leiber, 1991, p. 8)Historical dictionary of quotations in cognitive science > Language
См. также в других словарях:
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Linear programming — (LP, or linear optimization) is a mathematical method for determining a way to achieve the best outcome (such as maximum profit or lowest cost) in a given mathematical model for some list of requirements represented as linear relationships.… … Wikipedia
Generic programming — is a style of computer programming in which algorithms are written in terms of to be specified later types that are then instantiated when needed for specific types provided as parameters and was pioneered by Ada which appeared in 1983. This… … Wikipedia
Dynamic programming — For the programming paradigm, see Dynamic programming language. In mathematics and computer science, dynamic programming is a method for solving complex problems by breaking them down into simpler subproblems. It is applicable to problems… … Wikipedia
Linear programming relaxation — In mathematics, the linear programming relaxation of a 0 1 integer program is the problem that arises by replacing the constraint that each variable must be 0 or 1 by a weaker constraint, that each variable belong to the interval [0,1] .That is,… … Wikipedia
Function-level programming — In computer science, function level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value level programming.In his 1977 Turing award … Wikipedia
Mary (programming language) — Mary Paradigm(s) imperative Appeared in 1970s Developer RUNIT Typing discipline static, strong Influenced by ALGOL 68 … Wikipedia
Quadratic programming — (QP) is a special type of mathematical optimization problem. It is the problem of optimizing (minimizing or maximizing) a quadratic function of several variables subject to linear constraints on these variables.The quadratic programming problem… … Wikipedia
Overlay (programming) — This article is about dividing a program up to reduce memory requirements. For the complete replacement of a process, see Overlay (operating system). In a general computing sense, overlaying means replacement of a block of stored instructions or… … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia